Seven More Myths of Formal Methods
نویسندگان
چکیده
inside the system-development Today five years and many successful / trayal of formal methods does little to applications later-formal methods rehelp the situation. In many “popular cozwnunhy. The authors address main one of the most contentious areas press” science journals, formal methods of software-engineering practice. are subjected to either deep criticism or, and dispel these myths based on In essence, a formal method is a worse, extreme hyperbole.
منابع مشابه
Seven More Myths of Formal Methods: Dispelling Industrial Prejudices
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 [31] examined a number of `myths' concerning formal methods, assumed by some to be vali...
متن کاملSoftware Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods
This paper discusses the use of formal methods in the development of the control system for the Maeslant Kering. The Maeslant Kering is the movable dam which has to protect Rotterdam from floodings while, at (almost) the same time, not restricting ship traffic to the port of Rotterdam. The control system, called Bos, completely autonomously decides about closing and opening of the barrier and, ...
متن کاملChallenging Learning Myths through Intervention Studies in Formal Higher Education
The introduction of open and networked learning practices in formal higher education regularly collides with the personal beliefs and convictions that students hold in relation to their own capacity for learning and the structural and procedural conditions that they expect to be met in such settings. A series of systemic intervention studies at Tallinn University highlighted the disabling role ...
متن کاملSeven Myths in Bibliometrics. About facts and fiction in quantitative science studies
Seven myths with cognitive and methodological background are analysed for validity. Although, there is always a grain of truth in bibliometrics myths too, the generality of their statements is disproved on the bases of methodological studies and by referring to typical counterexamples. It is shown how and where the logical fallacy lies in the inference from the reality behind the myths leading ...
متن کاملRomantic beliefs and myths in Spain.
Data from a representative sample of the Spanish population (1,949 participants between ages 18 and 65) were analyzed to examine the strength of the principal romantic myths and the link between sex, love, and marriage in Spain. A survey was made up and was administered by interviewers. The results show the strength of these myths and the relationship between the three above-mentioned variables...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994